Second Law of Thermodynamics for Macroscopic Mechanics Coupled to Thermodynamic Degrees of Freedom

Starting from and only using classical Hamiltonian dynamics, we prove the maximum work principle in a system where macroscopic dynamical degrees of freedom are intrinsically coupled to microscopic degrees of freedom. Unlike in many of the standard and recent works on the second law, the macroscopic dynamics is not governed by an external action but undergoes the back reaction of the microscopic degrees of freedom. Our theorems cover such physical situations as impact between macroscopic bodies, thermodynamic machines, and molecular motors. Our work identifies and quantifies the physical limitations on the applicability of the second law for small systems. Mathematics Subject Classification (2000). 82C05, 82C03, 80A10.